INTUITIONISTIC EPISTEMIC LOGIC
نویسندگان
چکیده
منابع مشابه
Epistemic semantics for classical and intuitionistic logic
1 In this paper I propose to explain how several nonstandard semantic systems for the propositional logic can be seen as employing essentially the same principles for defining the notion of logical entailment and the more basic idea of assignment of truth-values to molecular sentences. The systems are Kleene's three-valued matrix for the strong connectives, Lukasiewicz's three-valued matrix, su...
متن کاملSequent Calculus for Intuitionistic Epistemic Logic
The formal system of intuitionistic epistemic logic IEL was proposed by S. Artemov and T. Protopopescu. It provides the formal foundation for the study of knowledge from an intuitionistic point of view based on Brouwer-Hayting-Kolmogorov semantics of intuitionism. We construct a cut-free sequent calculus for IEL and establish that polynomial space is sufficient for the proof search in it. So, w...
متن کاملEpistemic extensions of combined classical and intuitionistic propositional logic
Logic L was introduced by Lewitzka [8] as a modal system that combines intuitionistic and classical logic: L is a conservative extension of CPC and it contains a copy of IPC via embedding φ 7→ φ. In this article, we consider L3, i.e. L augmented with S3 modal axioms, define basic epistemic extensions and prove completeness w.r.t. algebraic semantics. Our systems involve, in adapted form, some o...
متن کاملAn Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
In the celebrated Gödel Prize winning papers, Herlihy, Shavit, Saks and Zaharoglou gave topological characterization of waitfree computation. In this paper, we characterize waitfree communication logically. First, we give an intuitionistic epistemic logic K∨ for asynchronous communication. The semantics for the logic K∨ is an abstraction of Herlihy and Shavit’s topological model. In the same wa...
متن کاملIntuitionistic Logic
There are basically two ways to view intuitionistic logic: (i) as a philosoph ical–foundational issue in mathematics, (ii) as a technical discipline within mathematical logic. Let us deal with the philosophical aspects first, they will provide the motivation for the subject. In doing so, we will follow L.E.J. Brouwer, the founding father of intuitionism. Brouwer did contribute little to intuiti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2016
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020315000374